Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
231	Loose Commitment in Medium-Scale Macroeconomic Models: Theory and Applications Add to Reading List Source URL: federalreserve.gov Language: English - Date: 2011-12-02 14:17:03 Deduction Econometrics Mathematical optimization Operations research Envelope Entailment Loss function Logic Statistics Differential geometry
232	Introduction to Evolutionary Computation James A. Foster University of Idaho Department of Computer Science Laboratory for Applied Logic Add to Reading List Source URL: people.ibest.uidaho.edu Language: English - Date: 2010-10-09 15:24:43 Evolutionary algorithms Applied mathematics Numerical analysis Genetic programming Crossover Mathematics Mathematical optimization Genetic algorithms Cybernetics
233	A Business Process Metric Based on the Alpha Algorithm Relations Fabio Aiolli, Andrea Burattin, and Alessandro Sperduti Department of Pure and Applied Mathematics University of Padua, Italy August 29th, 2011 Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2014-10-15 03:59:24 Theoretical computer science Process mining Management Systems engineering Mathematics Mathematical optimization Process management Algorithm Mathematical logic
234	Idescat. SORT. Iterative beam search for simple assembly line balancing with a fixed number of work stations. Volume 35 (2) Add to Reading List Source URL: www.idescat.cat Language: English - Date: 2011-12-15 07:45:28 Search algorithms Heuristics Algorithm Mathematical logic Ant colony optimization algorithms Beam search Time complexity Heuristic function Iterative method Theoretical computer science Applied mathematics Mathematics
235	Introduction to Algorithms, 3rd Ed. Add to Reading List Source URL: mitpress.mit.edu Language: English - Date: 2012-05-31 13:24:47 Mathematical optimization Operations research Algorithm Mathematical logic Theoretical computer science Greedy algorithm Selection algorithm Dynamic programming Approximation algorithm Mathematics Applied mathematics Computing
236	Journal of Machine Learning Research[removed]–1653 Submitted 10/05; Published 7/06 Structured Prediction, Dual Extragradient and Bregman Projections Ben Taskar Add to Reading List Source URL: www.jmlr.org Language: English - Date: 2006-07-07 16:03:04 Linear programming Dynamic programming Mathematical optimization Function Combinatory logic Markov random field Mathematics Operations research Applied mathematics
237	Bug Isolation via Remote Program Sampling Ben Liblit † Alex Aiken † Add to Reading List Source URL: alicezheng.org Language: English - Date: 2013-11-10 20:05:24 Profiling Software optimization Sampling Software bug Null Predicate Sample Pin Logic Mathematical logic Computer programming
238	A NEW ALGORITHM FOR KNIGHT’S TOURS SAM GANZFRIED A DVISOR : PAUL C ULL O REGON S TATE U NIVERSITY A BSTRACT. We investigate Warnsdorff’s simple heuristic for finding knight’s tours on square chessboards and conside Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-10-19 23:57:29 Routing algorithms Search algorithms Algorithm Mathematical logic Theoretical computer science Chess A* search algorithm Games Mathematics Combinatorial optimization
239	Lifted Parameter Learning in Relational Models Babak Ahmadi1 [removed] Kristian Kersting1,2,3 [removed] Add to Reading List Source URL: www.first-mm.eu Language: English - Date: 2012-07-18 13:16:28 Theoretical computer science M-estimators Stochastic optimization Estimation theory Stochastic gradient descent Markov logic network Conditional random field Gradient boosting Maximum likelihood Statistics Machine learning Probability and statistics
240	Lifted Parameter Learning in Relational Models Babak Ahmadi1 [removed] Kristian Kersting1,2,3 [removed] Add to Reading List Source URL: first-mm.informatik.uni-freiburg.de Language: English - Date: 2012-07-18 13:16:28 Theoretical computer science M-estimators Stochastic optimization Estimation theory Stochastic gradient descent Markov logic network Conditional random field Gradient boosting Maximum likelihood Statistics Machine learning Probability and statistics

UPDATE